P L F M

Programming Languages
& Formal Methods

We are a research group on [TOPIC] at DCC-FCUP. Our aim is to [GOALS]. Our research interests include:

  • Software verification and theorem proving
  • Program testing and analysis
  • Programming languages and type systems
  • Program logics and semantics

We aim to provide an active and inclusive research environment that includes [ACTIVITIES]. If you are interested in learning more, come to one of our meetings, or get in touch.

Recent news

Date Description
September 2024 PLFM is now open to the public
No matching items

Upcoming events

Date Location Title
September 1st 15:00 FC6 0.06 Coq Seminar
No matching items

Contact

office

email

chat

We are a research group at the Department of Computer Science, which is part of the Faculty of Sciences in the University of Porto.